4.3 等式変形による単純化を自動化する